Nuprl Definition : es-msg
0,22
postcript
pdf
emsg(
e
) == msg(lnk(
e
);tag(
e
);val(
e
))
latex
clarification:
es-msg(
es
;
e
) == msg(es-lnk(
es
;
e
);es-tag(
es
;
e
);es-val(
es
;
e
))
latex
Definitions
val(
e
)
,
tag(
e
)
,
lnk(
e
)
,
msg(
l
;
t
;
v
)
,
emsg(
e
)
FDL editor aliases
es-msg
origin